

#include "stdint.h"


void Stx(void);

void no_thing (void)
{
    int i = 0;
    for(i = 100; i--;)
    {
        ;
    }
}

//void SVC_Handler(void)
//{
//    int i = 100;
//    no_thing();
//    while(i--);
//    no_thing();
//    Stx();
//}
